r:Rng. r+gp  Group{i} 

latex

Up	rings 1
Definitions of Statement	Rng, r+gp
Definitions	t  T, x:A. B(x), r+gp, P & Q, P  Q, Rng
Lemmas	rng wf, rng all properties, rng minus wf, rng zero wf, rng plus wf, rng le wf, rng eq wf, rng car wf, mk grp